Message passing

Results: 973



#Item
21Message-passing algorithms for synchronization problems Amelia Perry

Message-passing algorithms for synchronization problems Amelia Perry

Add to Reading List

Source URL: ljk.imag.fr

- Date: 2017-04-16 15:54:45
    22Proving MCAPI Executions are Correct Applying SMT Technology to Message Passing Yu Huang, Eric Mercer, and Jay McCarthy ?

    Proving MCAPI Executions are Correct Applying SMT Technology to Message Passing Yu Huang, Eric Mercer, and Jay McCarthy ?

    Add to Reading List

    Source URL: jeapostrophe.github.io

    - Date: 2018-04-03 12:30:31
      23Tightening LP Relaxations for MAP using Message Passing David Sontag CSAIL, MIT Cambridge, MA

      Tightening LP Relaxations for MAP using Message Passing David Sontag CSAIL, MIT Cambridge, MA

      Add to Reading List

      Source URL: people.csail.mit.edu

      - Date: 2008-05-15 13:46:57
        24Message passing and approximate message passing Arian Maleki Columbia University

        Message passing and approximate message passing Arian Maleki Columbia University

        Add to Reading List

        Source URL: www.stat.columbia.edu

        - Date: 2013-03-14 11:59:51
          25Generating Message-Passing Parallel Programs from Abstract Specifications by Partial Evaluation Christoph Herrmann University of Passau

          Generating Message-Passing Parallel Programs from Abstract Specifications by Partial Evaluation Christoph Herrmann University of Passau

          Add to Reading List

          Source URL: www.infosun.fmi.uni-passau.de

          - Date: 2004-10-01 06:33:00
            26Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

            Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

            Add to Reading List

            Source URL: staff.um.edu.mt

            - Date: 2011-07-22 10:08:24
              27Hardware Description Language Based on Message Passing and Implicit Pipelining Dmitri Boulytchev Oleg Medvedev

              Hardware Description Language Based on Message Passing and Implicit Pipelining Dmitri Boulytchev Oleg Medvedev

              Add to Reading List

              Source URL: oops.math.spbu.ru

              - Date: 2015-07-26 07:27:16
                28Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

                Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

                Add to Reading List

                Source URL: staff.um.edu.mt

                - Date: 2012-05-18 00:02:01
                  29HOP-MAP: Efficient Message Passing with High Order Potentials Daniel Tarlow Dept. of Computer Science University of Toronto

                  HOP-MAP: Efficient Message Passing with High Order Potentials Daniel Tarlow Dept. of Computer Science University of Toronto

                  Add to Reading List

                  Source URL: www.psi.toronto.edu

                  - Date: 2010-04-09 09:51:18
                    30Message Passing for Optimization and Control of Power Grid: Model of Distribution System with Redundancy Lenka Zdeborov´a1 , Aur´elien Decelle1,2 , and Michael Chertkov1 1 arXiv:0904.0477v3 [cond-mat.stat-mech] 27 Jul

                    Message Passing for Optimization and Control of Power Grid: Model of Distribution System with Redundancy Lenka Zdeborov´a1 , Aur´elien Decelle1,2 , and Michael Chertkov1 1 arXiv:0904.0477v3 [cond-mat.stat-mech] 27 Jul

                    Add to Reading List

                    Source URL: www.delaat.net

                    - Date: 2014-07-21 06:09:28